
#include "Bool_TYPE.h"

/* Clause CONCRETE_CONSTANTS */
/* Basic constants */

/* Array and record constants */
/* Clause CONCRETE_VARIABLES */

/* Clause INITIALISATION */
void Bool_TYPE__INITIALISATION(void)
{
    
}

